Hubert Comon : rechercher sur Z-Library

Hubert Comon, Robert Nieuwenhuis

Année:

2000

Langue:

english

Fichier:

PDF, 232 KB

english, 2000

Induction=I-Axiomatization+First-Order Consistency

Journal:

Hubert Comon, Florent Jacquemard

Année:

2000

Langue:

english

Fichier:

PDF, 265 KB

english, 2000

Ground reducibility is EXPTIME-complete

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 368 KB

english, 2003

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || ICS: Integrated Canonizer and Solver?

Année:

2001

Langue:

english

Fichier:

PDF, 81 KB

english, 2001

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1232 || On the property of preserving regularity for string-rewriting systems

Année:

1997

Langue:

english

Fichier:

PDF, 963 KB

english, 1997

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1232 || New undecidability results for finitely presented monoids

Bursuc, Sergiu, Comon-Lundh, Hubert, Delaune, Stéphanie

Année:

1997

Langue:

english

Fichier:

PDF, 923 KB

english, 1997

Deducibility constraints and blind signatures

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 604 KB

english, 2014

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m)

Année:

2001

Langue:

english

Fichier:

PDF, 183 KB

english, 2001

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - LICS: Logic in Computer Security -- Some Attacker's Models and Related Decision Problems

Comon-Lundh, Hubert

Année:

2013

Langue:

english

Fichier:

PDF, 92 KB

english, 2013

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 ||

Année:

2001

Langue:

english

Fichier:

PDF, 6.93 MB

english, 2001

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Parameterized Verification with Automatically Computed Inductive Assertions?

Année:

2001

Langue:

english

Fichier:

PDF, 237 KB

english, 2001

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2102 || Fast LTL to Büchi Automata Translation

Année:

2001

Langue:

english

Fichier:

PDF, 218 KB

english, 2001

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Building Industrial Applications with Constraint Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Année:

2001

Langue:

english

Fichier:

PDF, 860 KB

english, 2001

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 ||

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Année:

2001

Langue:

english

Fichier:

PDF, 3.88 MB

english, 2001

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1232 || D-bases for polynomial ideals over commutative noetherian rings

Année:

1997

Langue:

english

Fichier:

PDF, 999 KB

english, 1997

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1232 || A total, ground path ordering for proving termination of AC-rewrite systems

Comon-Lundh, Hubert, Kirchner, Claude, Kirchner, Hélène

Année:

1997

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1997

[Lecture Notes in Computer Science] Rewriting, Computation and Proof Volume 4600 || Modeling Permutations in Coq for Coccinelle

Année:

2007

Langue:

english

Fichier:

PDF, 316 KB

english, 2007

[Lecture Notes in Computer Science] Constraints in Computational Logics Volume 2002 || Functional and Constraint Logic Programming

Goos, Gerhard, Hartmanis, Juris, van Leeuwen, Jan, Comon, Hubert, Marché, Claude, Treinen, Ralf

Année:

2001

Langue:

english

Fichier:

PDF, 527 KB

english, 2001

Deciding security properties for cryptographic protocols. application to key cycles

Comon-Lundh, Hubert, Cortier, Véronique, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Année:

2010

Langue:

english

Fichier:

PDF, 360 KB

english, 2010

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - A Computationally Complete Symbolic Attacker for Equivalence Properties

Bana, Gergei, Comon-Lundh, Hubert

Année:

2014

Langue:

english

Fichier:

PDF, 884 KB

english, 2014

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - Computational soundness of observational equivalence

Comon-Lundh, Hubert, Cortier, Véronique

Année:

2008

Langue:

english

Fichier:

PDF, 416 KB

english, 2008

[ACM Press the 18th ACM conference - Chicago, Illinois, USA (2011.10.17-2011.10.21)] Proceedings of the 18th ACM conference on Computer and communications security - CCS '11 - Trace equivalence decision

Cheval, Vincent, Comon-Lundh, Hubert, Delaune, Stéphanie

Année:

2011

Langue:

english

Fichier:

PDF, 467 KB

english, 2011

SOLVING SYMBOLIC ORDERING CONSTRAINTS

COMON, HUBERT

Journal:

International Journal of Foundations of Computer Science

Année:

1990

Langue:

english

Fichier:

PDF, 936 KB

english, 1990

A procedure for deciding symbolic equivalence between sets of constraint systems

Cheval, Vincent, Comon-Lundh, Hubert, Delaune, Stéphanie

Journal: